341. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
C35
1981
342. Causation in Decision, Belief Change, and Statistics :
پدیدآورنده : edited by William L. Harper, Brian Skyrms.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Philosophy (General),Probabilities -- Congresses.,Science -- Philosophy.
رده :
B67
.
E358
1988
343. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
344. Classification, automation, and new media :
پدیدآورنده : Wolfgang Gaul, Gunter Ritter (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Classification -- Congresses.,Information storage and retrieval systems -- Congresses.,Statistics -- Congresses.
345. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Badwin )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
346. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
347. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
پدیدآورنده : J. T. Baldwin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
348. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Baldwin )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
U8
1985
349. Climbing and walking robots
پدیدآورنده : / M.O. Tokhi, G.S. Virk, M.A. Hossain (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mobile robots , Congresses,Robots, Industrial , Congresses
رده :
E-BOOK
350. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
351. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
352. Collegium Logicum: annals of the Kurt-Godel-Society
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
9
.
A1
C58
353. Color symbolism: the Eranos lectures
پدیدآورنده : edited by Klaus Ottmann ; Gershom Scholem ... ]et al.[
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : Congresses ، Color,Congresses ، Symbolism of colors,Congresses ، Colors - Religious aspects
رده :
BH
301
.
C6
.
C67
2005
354. Combinatorial algorithms :
پدیدآورنده : Costas S. Iliopoulos, William F. Smyth (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
رده :
QA164
.
I58
2011
355. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
356. Combinatorics, complexity, & logic : proceedings of DMTCS'96
پدیدآورنده : D.S. Bridges...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
357. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
358. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
359. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
